[livres divers classés par sujet] [Informatique] [Algorithmique] [Programmation] [Mathématiques] [Hardware] [Robotique] [Langage] [Intelligence artificielle] [Réseaux]
[Bases de données] [Télécommunications] [Chimie] [Médecine] [Astronomie] [Astrophysique] [Films scientifiques] [Histoire] [Géographie] [Littérature]

Entwurf und Implementierung einer Interndarstellung für die Analyse von Ada-Programmen

title Entwurf und Implementierung einer Interndarstellung für die Analyse von Ada-Programmen
creator Würthner, Martin
date 1996-10-31
language ger
identifier  http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=STUD-1567&engl=1
description 95 pages
In dieser Studienarbeit wird eine graphbasierte Interndarstellung für Ada-Programme vorgestellt, auf der Programmanalysen und Programmtransformationen durchgeführt werden können. Zu den Eigenschaften dieser Darstellung gehört, daß sie effiziente Analysen ermöglicht und gleichzeitig die volle Information des Quellprogrammes erhält. Insbesondere werden höhere Kontrollkonstrukte des Quellprogrammes explizit in der Interndarstellung repräsentiert. Im Rahmen der Studienarbeit wurde die Erzeugung dieser Darstellung für eine Untermenge der Sprache Ada implementiert und an das bestehende Front-End des GNU New York Ada Translators (GNAT) angebunden.
publisher Stuttgart, Germany, Universität Stuttgart
type Text
Student Thesis
source ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/STUD-1567/STUD-1567.ps
contributor Programmiersprachen und Übersetzerbau (IFI)
format application/postscript
1982499 Bytes
subject Programming Languages Processors (CR D.3.4)
Zwischendarstellung
SSA-Form
Programmanalysen
relation Student Thesis No. 1567